首页> 外文OA文献 >Executing and Verifying Higher-Order Functional-Imperative Programs in Maude

【2h】

Executing and Verifying Higher-Order Functional-Imperative Programs in Maude

机译：在Maude中执行和验证高阶功能指令程序

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

(to appear)

机译：（出现）

著录项

作者
Rusu, Vlad; Arusoaie, Andrei;
展开▼
作者单位

展开▼
年度 2017
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Executing and verifying higher-order functional-imperative programs in Maude [J] . Rusu Vlad, Arusoaie Andrei Journal of Logic and Algebraic Programming . 2017,第deca期

机译：在Maude中执行和验证高阶功能命令程序
2. Types and Higher-Order Recursion Schemes for Verification of Higher-Order Programs [J] . Naoki Kobayashi ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2009,第1期

机译：验证高阶程序的类型和高阶递归方案
3. Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware [J] . Carbin Michael, Misailovic Sasa, Rinard Martin C. Communications of the ACM . 2016,第8期

机译：验证在不可靠的硬件上执行的程序的定量可靠性
4. Types and higher-order recursion schemes for verification of higher-order programs [C] . Naoki Kobayashi Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages . 2009

机译：用于验证高阶程序的类型和高阶递归方案
5. A Higher-Order Abstract Syntax Approach to the Verified Compilation of Functional Programs. [D] . Wang, Yuting. 2016

机译：经验证的功能程序编译的高阶抽象语法方法。
6. Imposing assertions in Maude via program transformation [O] . María Alpuente, Demis Ballis, Julia Sapiña 2019

机译：通过程序转换在Maude中强加断言
7. Executing and Verifying Higher-Order Functional-Imperative Programs in Maude [O] . Rusu, Vlad, Arusoaie, Andrei 2017

机译：在Maude中执行和验证高阶功能指令程序

Executing and Verifying Higher-Order Functional-Imperative Programs in Maude

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅